Basic science

Results: 4014



#Item
651

BRICS Basic Research in Computer Science BRICS RSL. Santocanale: Free µ-lattices Free µ-lattices

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2000-11-14 08:48:45
    652

    BRICS Basic Research in Computer Science BRICS RSNielsen & Valencia: Temporal Concurrent Constraint Programming: Applications and Behavior Temporal Concurrent

    Add to Reading List

    Source URL: www.brics.dk

    Language: English - Date: 2001-12-14 09:32:09
      653

      BRICS Basic Research in Computer Science BRICS NS-01-2 Brookes & Mislove (eds.): MFPS ’01 Preliminary Proceedings

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 2003-07-08 08:28:49
        654

        BRICS Basic Research in Computer Science BRICS NS-98-6 Butz et al. (eds.): Abstracts of the Workshop on Proof Theory and Complexity, PTAC ’98 Abstracts of the Workshop on

        Add to Reading List

        Source URL: www.brics.dk

        Language: English - Date: 1998-07-30 03:38:54
          655

          BRICS RS-08-7 O. Danvy: Denotational Semantics, Natural Semantics, and Abstract Machines for Scheme BRICS Basic Research in Computer Science

          Add to Reading List

          Source URL: www.brics.dk

          Language: English - Date: 2008-12-15 10:14:23
            656

            Cryptography, Freedom, and Democracy How Basic Science Affects Everyone Nelson H. F. Beebe Research Professor University of Utah

            Add to Reading List

            Source URL: www.math.utah.edu

            Language: English - Date: 2011-09-29 15:02:49
              657

              BRICS Basic Research in Computer Science ´ BRICS RSZ. Esik: The Equational Theory of Fixed Points with Applications

              Add to Reading List

              Source URL: www.brics.dk

              Language: English - Date: 2001-06-12 05:06:03
                658

                Features Notes on Basic Science Vol.19 No.1 Interview P2

                Add to Reading List

                Source URL: asrc.jaea.go.jp

                Language: English - Date: 2011-12-26 20:32:03
                  659

                  BRICS Basic Research in Computer Science BRICS RSMiltersen et al.: Half-Exponential Circuit Size in the Exponential Hierarchy Super-Polynomial Versus Half-Exponential

                  Add to Reading List

                  Source URL: www.brics.dk

                  Language: English - Date: 2000-01-14 04:20:10
                    660

                    BRICS Basic Research in Computer Science BRICS RSCramer & Damg˚ard: Zero-Knowledge Proofs for Finite Field Arithmetic Zero-Knowledge Proofs for

                    Add to Reading List

                    Source URL: www.brics.dk

                    Language: English - Date: 1997-11-26 08:42:39
                      UPDATE